tag($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$2of(outl($k$))